Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 5.Ident. | Authors (with country if any) | Title |
---|---|---|
003022 | Vincent Aravantinos [France] ; Ricardo Caferra [France] ; Nicolas Peltier [France] | Simplified handling of iterated term schemata |
009E17 | Ricardo Caferra [France] ; Nicolas Peltier [France] | The Connection Method, Constraints and Model Building |
009F22 | Ricardo Caferra [France] ; Nicolas Peltier | Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models |
00BC44 | Nicolas Peltier [France] | Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents |
00BC89 | Ricardo Caferra [France] ; Nicolas Peltier [France] | A New Technique for Verifying and Correcting Logic Programs |
This area was generated with Dilib version V0.6.33. |